# This file reads from the exception table looking for the beginning of an 
# exception entry that fits the pattern {   /*.  It then extracts the
# exception name from that line (following the /*) and prints out the
# exception name followed by = 'number' where 'number' is the exception number.

FILENAME == "exception.c" && $1 == "{" && $3 == "/*" { n = n + 1
                          printf "%3d = %s\n", n, $4 }
